Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
491	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
492	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
493	Reform Forum: Journal for Educational Reform in Namibia, Volume 14 (MayA guide to the teaching of learnercentred mathematics B.K. Thekwane The author of this Guide, Mr B.K. Thekwane, has published this article wit Add to Reading List Source URL: www.nied.edu.na Language: English - Date: 2013-01-25 05:18:36 Learning theory Philosophy of education Second-language acquisition Dialogue education Formative assessment Education Pedagogy Educational psychology
494	Algebraic Algorithms for LWE Martin R. Albrecht1 , Carlos Cid1 , Jean-Charles Faug`ere2 , and Ludovic Perret2 1 Information Security Group Royal Holloway, University of London Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-02-26 10:18:21 Applied mathematics Normal distribution Learning with errors Algebraic geometry Regular language Computational complexity theory Ideal lattice cryptography Cryptography Mathematics Theoretical computer science
495	COPYRIGHT NOTICE: Sanford L. Segal: Mathematicians under the Nazis is published by Princeton University Press and copyrighted, © 2003, by Princeton University Press. All rights reserved. No part of this book may be repr Add to Reading List Source URL: press.princeton.edu Language: English - Date: 2005-02-07 14:38:47 Number theorists Mathematical logic Mathematician Mathematical proof Emmy Noether G. H. Hardy Language of mathematics The Unreasonable Effectiveness of Mathematics in the Natural Sciences Applied mathematics Mathematics Philosophy of mathematics Science
496	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: dssm.unipa.it Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
497	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.sciserv.eu Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
498	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.utstat.utoronto.ca Language: English Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
499	A novel supervised learning algorithm and its use for Spam Detection in Social Bookmarking Systems Anestis Gkanogiannis and Theodore Kalamboukis Department of Informatics Athens University of Economics and Business, Athe Add to Reading List Source URL: www.kde.cs.uni-kassel.de Language: English - Date: 2008-08-25 03:47:27 Statistics Natural language processing Statistical classification Support vector machine Spam Supervised learning Information retrieval Document classification Vector space Algebra Mathematics Machine learning
500	PDDL+ Planning with Events and Linear Processes Amanda Coles and Andrew Coles Department of Informatics, King’s College London, WC2R 2LS UK email: Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-20 09:04:37 Artificial intelligence Invariant Science Emmy Noether Partial-order planning Control theory Economic model Automated planning and scheduling Planning Domain Definition Language Mathematics

UPDATE